Types and Programming Languages

#	Item
541	Dependently Typed Programming in Agda Ulf Norell1 and James Chapman2 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-03 03:47:11 Programming language theory Data types Functional programming Functional languages Type system Agda Intuitionistic type theory Dependent type Function Software engineering Declarative programming Type theory
542	Type Inference and Optimisation for an Impure World. Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-04-28 07:18:39 Functional languages Type theory Functional programming Procedural programming languages Data types Haskell Type class Monad ML Software engineering Computer programming Computing
543	PDF Document Add to Reading List Source URL: www.ecma-international.org Language: English - Date: 2009-06-12 09:18:53 Type theory Data types C++ Cross-platform software Procedural programming languages C Sharp C Boolean data type Operators in C and C++ Computing Software engineering Computer programming